2.9 KB · ⇊ 2 parts · ⤓ Micron 2.9 KB · ⤓ HTML 7.3 KB

top

mwbaFold, anche conosciuta come mwbqreduce, mwbgaccumulate, mwbwcompress o mwcainject, nella mwcqprogrammazione funzionale è una mwcgfunzione che itera una funzione arbitraria su una struttura dati in un certo ordine e costruisce un valore di ritorno. Tipicamente una fold, dialoga con due cose: una funzione combinante e una lista di elementi di una struttura dati. La fold poi procede a combinare elementi della struttura dati usando la funzione in modo sistematico.

Le due principali tipologie di fold sono mwdafoldr e mwdqfoldl, dove 'r' ed 'l' stanno, rispettivamente, per 'right' e 'left'.

• Definizione

• Haskell

• CAML

• Voci correlate

In mwegHaskell è così definita:

mwfafoldr::(a->b->b)->b->[a]->b

mwfgfoldr f e [] = e

mwgafoldr f e (x:xs) = f x (foldr f e xs)

dove f è una funzione binaria di tipo (a -> b -> b), mentre invece foldl è definita come

mwgwfoldl::(a->b->b)->b->[a]->b

mwhqfoldl f e [] = e

mwhwfoldl f e (x:xs) = foldl f (f e x) xs

In mwigCAML, foldr è definibile come:

mwjalet rec foldr f a lis =

mwjgmatch lis with

mwka[] -> a |

mwkgx::xs -> f x (foldr f a xs);;

mwlafoldrmwlq : ('a -> 'b -> 'b) -> 'b -> 'a list -> 'b = <fun>

Un esempio, sempre in CAML, di utilizzo della funzione foldr è il seguente:

Si vuole suddividere una lista in due liste, una contenente tutti gli elementi maggiori di un certo n, l'altra contenente gli elementi minori o uguali a n.

mwmqlet split n lis =

mwmwlet f x (g,l) =

mwnqif x > n then (x::g, l) else (g, x::l) in

mwnwfoldr f ([], []) lis;;

Segue l'output sulla lista mwoq[1;2;3;4;5;6]

mwowsplit 3 [1;2;3;4;5;6];;

mwpqmwpg.mwpw : int list * int list = [4;5;6], [1;2;3]

• mwqwMap (funzione)

• mwrqOmomorfismo